length = foldr (\e n -> n + 1) 0